Skip to main content

Implementation of Parnas' it-ti construct in LISP


Published March 1982
SHOW MORE


"NPS52-82-005"--Cover

"March 1982"--Cover

Title from cover

"Prepared for: Chief of Naval Research, Arlington, VA 22217."

Includes bibliographical references (p. 17)

Technical report; 1982

D.L. Parnas has recently proposed (1) a new programming control structure the it-ti. This construct is a synthesis of several ideas in programming theory including iteration, conditionals, and Dijkstra's guards (2) It has been implemented in a LISP interpreter (8) as a more structured replacement for the traditional prog construct. Several programming examples are given that compare the use of the it-ti with the more conventional programming constructs. These examples will also show that the it-ti fails to satisfy several criteria for programming constructs including manageability and visibility. An appendix to this report contains an extension of Dijkstra's concept of the 'weakest precondition' to the it-ti. (Author)

Supported in part by the Foundation Research Program of the Naval Postgraduate School with funds provided by the Chief of Naval Research

ck/ 4/15/09


Publisher Monterey, California : Naval Postgraduate School
Pages 26
Language en_US
Call number ocm10861523
Digitizing sponsor Naval Postgraduate School, Dudley Knox Library
Book contributor Naval Postgraduate School, Dudley Knox Library
Collection navalpostgraduateschoollibrary; fedlink; americana

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.

Reviews

There are no reviews yet. Be the first one to write a review.
PEOPLE ALSO FOUND
Source: half
Source: half
Naval Postgraduate School, Dudley Knox Library
by Tritten, James John.;Masterson, Kleber S.
67
0
0